from typings import Never

def f() -> int: ...
def g() -> Never: ...